package ewu

import ewu._
import scala.collection.mutable.ArrayBuffer

/**
 * Die Comparison-Klasse erbt von Boolexpression und
 * stellt einen Vergleich mit einer linken("left") Expression
 * sowie einer rechten("right") Expression dar.
 */

trait Comparison extends BoolExpression {
  
  def left: Expression
  def right: Expression
  
  def getVariables(a: ArrayBuffer[Name]) = {
    left.getVariables(a)
    right.getVariables(a)
  }
  
}


 